component-compatible(ds;da;T1;T2;C1;C2)
== X1:Interface(ds;da;T1), X2:Interface(ds;da;T2). scheme-compatible((C1(X1)).1;(C2(X2)).1) 

latex

---

clarification:

component-compatible{i:l}
component-compatible(ds; da; T1; T2; C1; C2)
== X1:Interface(ds;da;T1), X2:Interface(ds;da;T2).
== scheme-compatible{i:l}
== scheme-compatible(((C1(X1)).1); ((C2(X2)).1)) 

latex

Definitions	f(a), t.1, scheme-compatible(A;B), Interface(ds;da;A), x:A. B(x)
FDL editor aliases	component-compatible